leibnitzs theorem